Nuprl Lemma : possible-event_wf 0,22

poss:(ES{i}Prop{i'}). possible-event{i:l}(poss Prop{i'} 
latex


DefinitionsType, Prop, t  T, ES, x:AB(x), f(a), x:AB(x), E, x:AB(x), PossibleEvent(poss)
Lemmases-E wf, event system wf

origin